1. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
3. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
4. Formal methods and software development
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
5. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
پدیدآورنده : Hans-Jorg Kreowski...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal methods )Computer science(,، Computer software,Design ، Computer systems
رده :
QA
76
.
L28
Vol
.
3393
6. Fundamentals of algebraic graph transformation
پدیدآورنده : H. Ehrig ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
2006
7. Fundamentals of algebraic graph transformation
پدیدآورنده : H. Ehrig....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
8. Graph and model transformation
پدیدآورنده : Hartmut Ehrig...[et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Graph theory,Transformations (Mathematics)
رده :
QA166
9. Graph-grammars and their application to computer science :
پدیدآورنده : H. Ehrig ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Congresses.,Graph grammars-- Congresses.
رده :
QA267
.
3
.
G68
1987
10. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986: Proceedings
پدیدآورنده : H. Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph grammars,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
291
11. Graph grammars and their application to computer science : 6th international workshop, Paderborn, Germany, November 16-20, 1998 : selected papers
پدیدآورنده : Hartmut Ehrig... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph grammars,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1764
12. Graph transformations
پدیدآورنده : / Hartmut Ehrig ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Graph grammars, Congresses,Computer science, Congresses
رده :
E-BOOK
13. Graph transformations : second International Conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
پدیدآورنده : Hartmut Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph grammars,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
3256
14. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
پدیدآورنده : Hartmut Ehrig ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
رده :
QA
76
.
L28
Vol
.
3147
15. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
16. Mathematical foundations of software development
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
17. Petri Net technology for communication-based systems : advances in Petri Nets
پدیدآورنده : Hartmut Ehrig ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer networks,، Petri nets
رده :
QA
76
.
L28
Vol
.
2472
18. Recent trends in data type specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings 1990
پدیدآورنده : H. Ehrig ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
534
19. TAP Soft T' 85: Proceedings of the international joint conference on theory and practice of software development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : edited by Hartmut Ehrig ...]et al[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer software - Development
رده :
QA
76
.
L4
v
.
185-186
20. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
